#include <stdint.h>
#include <inttypes.h>
#include <stdbool.h>
#include <string.h>
#include "config.h"
#include "log.h"

#include <assert.h>

#define MSIZE 0x8000000
#define MBASE 0x80000000
#define PC_RESET_OFFSET 0

typedef uint64_t word_t;
typedef uint64_t paddr_t;
typedef uint16_t ioaddr_t;
